一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

时序电路测试中敏化路径选择研究

时序电路测试产生过程中,在进行敏化路径选择时会遇到失败问题.本文针对迭代组合阵列模型测试中产生的这些问题进行了有益的探讨,并提出了改进的时序电路测试产生算法,使之更加完善.     

“现代教育技术”课程的思政实践理念与路径探讨

“课程思政”是高等学校实现立德树人目标的重要举措,也是“三全育人”的重要环节,目前国内高校普遍开展课程思政建设的探索和实践,“现代教育技术”作为师范类专业一门重要的公共基础必修课程,不仅连接了教育理论与实践,也承担着师德养成和职业规范形成的重要任务,因此本文以《中小学教师职业道德规范》为核心,从教学内容、教学形式、教学活动、教学评价四个方面进行课程思政建设的路径探讨,以期通过课程学习,对师范类学生实现“润物细无声”的精神引领,同时也为其他师范类平台课程的思政建设提供有价值的参考。     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

基于MapGIS的突发事件应急指挥系统设计与实现

针对当前突发事件处理过程中人为因素过多,容易出现错误决策的不足,设计实现了基于MapGIS的突发事件应急指挥系统。系统包括地图操作、突发事件应急决策、突发事件模拟等功能,并以应急决策模块为例说明了系统实现。     

基于种群多样性测度的PSO算法及其应用研究

针对基本粒子群算法(particle swarm optimization,PSO)易局部收敛的缺陷,设计了一种根据种群多样性测度动态调整惯性权重的改进粒子群算法,通过仿真测试函数与基本粒子群算法、自适应粒子群算法(adaptive particle swarm optimization,APSO)、带收缩因子的粒子群算法(contractive particle swarm optimization,CPSO)进行比较,改进的PSO算法在提高算法的综合搜索能力方面具有优越性。将改进的PSO算法运用到作战飞行器航迹规划中,并进行了仿真实验,仿真结果验证了改进算法的有效性。     

基于IEEE 802.11的无线多跳网络路径容量分析模型

旨在建立一个适用于无线多跳路径性能研究的闭合分析模型。首先对导致多跳路径中流内竞争现象的干扰问题进行了详细分析并给出了定量计算方法,然后通过将多跳路径建模为排队网络,利用扩散近似法建立了路径性能分析模型,最后在网络稳定性约束条件下对多跳路径的容量问题进行了研究。利用该模型可以在无线多跳网络中分析网络传输的吞吐能力,同时有助于研究网络对QoS业务的支持能力。通过仿真实验结果与数值分析结果的对比,验证了分析模型的准确性。     

时变道路网最短路径算法的研究

道路或区域通行限制在日常交通和部队兵力机动过程中普遍存在。通行限制情况下的最短路径问题属于时变道路网最短路径研究的范畴,对时变道路网最短路径算法及算法效率的研究有着广泛而现实的意义。重点讨论了道路网的模型描述、时变道路网拓扑结构的构建技术,最短路径算法的高效实现等内容,并给出了该算法的应用实例。试验结果显示,该算法有效可行。     

针对突发威胁的无人机多机协同路径规划的方法

在无人机多机协同路径规划中,采用V orono i图方法,引入协同变量和协同函数,产生关于已知威胁的路径,使各架无人机能够同时到达目标。在此基础上,利用集合点规划状态图,针对作战过程中的突发威胁实时进行路径规划,从而得到各架飞机的几何路径。仿真结果表明集合点规划状态图的使用对于无人机多机协同路径规划中的突发威胁问题的求解是有效的。     

Linux虚拟文件系统层的路径检索加速

为解决 Linux 内核传统路径检索日益凸显的开销问题,提出Staged Lookup以加速路径检索,通过动态缓存热目录来减少文件访问的时延。Staged Lookup的核心在于缓存频繁使用的目录项,从而避免从根节点重复遍历路径。不同于从根结点开始的检索操作, Staged Lookup扩展了搜索策略,允许从最近缓存的目录项向后或向前进行路径检索。在Linux内核版本3.14和5.4上部署Staged Lookup的原型,并开展实际系统测试。实验数据显示,相比于传统的路径检索方式,Staged Lookup能实现高达46.9%的性能提升。